On finitely recursive programs

Disjunctive finitary programs are a class of logic programs admitting function symbols and hence infinite domains. They have very good computational properties, for example ground queries are decidable while in the general case the stable model semantics is highly undecidable. In this paper we prove that a larger class of programs, called finitely recursive programs, preserves most of the good properties of finitary programs under the stable model semantics, namely: (i) finitely recursive programs enjoy a compactness property; (ii) inconsistency checking and skeptical reasoning are semidecidable; (iii) skeptical resolution is complete for normal finitely recursive programs. Moreover, we show how to check inconsistency and answer skeptical queries using finite subsets of the ground program instantiation. We achieve this by extending the splitting sequence theorem by Lifschitz and Turner: We prove that if the input program P is finitely recursive, then the partial stable models determined by any smooth splitting omega-sequence converge to a stable model of P.Comment: 26 pages, Preliminary version in Proc. of ICLP 2007, Best paper awar

A novel electrochemical sensor for non-invasive monitoring of lithium levels in mood disorders

Lithium is the main drug for the treatment of mood disorders. Due to its narrow therapeutic window, Therapeutic Drug Monitoring (TDM) is a norm during therapy in order to avoid adverse effects. Consequently, patients are obliged to frequent check-ups in hospitals to determine their serum concentration and optimize accordingly the drug dose. Wearable sensors have attracted a growing interest in the research community in recent years owing to their promising impact in personalized healthcare. In particular, sweat diagnosis has seen an enormous expansion and is currently entering the market thanks to the large availability and simple collection of this fluid. In this paper a novel approach for non-invasive decentralized monitoring of lithium drug concentration through sweat analysis is proposed for the first time. An all-solid-state Ion- Selective Electrode (ISE) with a nanostructured Solid-Contact (SC) is used to detect lithium ions in sweat. The sensor offers near-Nernstian behaviour (57.6±2.1 mV/decade) in the concentration range of interest. In addition, it shows fast response (15-30 s), good reversibility and small potential drift over time. A wide pH stability window (pH 4-12) is also proved

The VersaLive platform enables microfluidic mammalian cell culture for versatile applications

Microfluidic-based cell culture allows for precise spatio-temporal regulation of microenvironment, live cell imaging and better recapitulation of physiological conditions, while minimizing reagents' consumption. Despite their usefulness, most microfluidic systems are designed with one specific application in mind and usually require specialized equipment and expertise for their operation. All these requirements prevent microfluidic-based cell culture to be widely adopted. Here, we designed and implemented a versatile and easy-to-use perfusion cell culture microfluidic platform for multiple applications (VersaLive) requiring only standard pipettes. Here, we showcase the multiple uses of VersaLive (e.g., time-lapse live cell imaging, immunostaining, cell recovery, cell lysis, plasmid transfection) in mammalian cell lines and primary cells. VersaLive could replace standard cell culture formats in several applications, thus decreasing costs and increasing reproducibility across laboratories. The layout, documentation and protocols are open-source and available online at https://versalive.tigem.it/

A Flexible Front-End for Wearable Electrochemical Sensing

This work presents the design and the realization of a flexible front-end circuitry for electrochemical sensing with wearable devices. The hardware combines readout circuitry for amperometric and Open Circuit Potential (OCP) measurements. The sensing platforms are dedicated to lactate and lithium detection in sweat, hence allowing the monitoring of athletes under physical effort. The wearability of the system is ensured by the flexibility of the electronic substrate, its small dimensions that fit an armband case, and the wireless transmission through a Bluetooth Low Energy (BLE) module. The power consumption of the system has been evaluated to be 200mW, with 3.6V on board power supply

A spatial multi-scale fluorescence microscopy toolbox discloses entry checkpoints of SARS-CoV-2 variants in Vero E6 cells

: We exploited a multi-scale microscopy imaging toolbox to address some major issues related to SARS-CoV-2 interactions with host cells. Our approach harnesses both conventional and super-resolution fluorescence microscopy and easily matches the spatial scale of single-virus/cell checkpoints. After its validation through the characterization of infected cells and virus morphology, we leveraged this toolbox to reveal subtle issues related to the entry phase of SARS-CoV-2 variants in Vero E6 cells. Our results show that in Vero E6 cells the B.1.1.7 strain (aka Alpha Variant of Concern) is associated with much faster kinetics of endocytic uptake compared to its ancestor B.1.177. Given the cell-entry scenario dominated by the endosomal "late pathway", the faster internalization of B.1.1.7 could be directly related to the N501Y mutation in the S protein, which is known to strengthen the binding of Spike receptor binding domain with ACE2. Remarkably, we also directly observed the central role of clathrin as a mediator of endocytosis in the late pathway of entry. In keeping with the clathrin-mediated endocytosis, we highlighted the non-raft membrane localization of ACE2. Overall, we believe that our fluorescence microscopy-based approach represents a fertile strategy to investigate the molecular features of SARS-CoV-2 interactions with cells

Prevalence, severity and correlates of fatigue in newly diagnosed patients with myelodysplastic syndromes

The primary objective of this study was to investigate factors associated with fatigue severity in newly diagnosed patients with higher-risk myelodysplastic syndromes (MDS). The secondary objectives were to assess symptom prevalence and to examine the relationships between fatigue, quality of life (QoL) and overall symptom burden in these patients. The analyses were conducted in 280 higher-risk MDS patients. Pre-treatment patient-reported fatigue was evaluated with the Functional Assessment of Chronic Illness Therapy (FACIT)-Fatigue scale and QoL was assessed with the European Organization for Research and Treatment of Cancer Quality of Life Questionnaire-Core 30 (EORTC QLQ-C30). Female gender (P = 0·018), poor performance status (i.e., ECOG of 2-4) (P < 0·001) and lower levels of haemoglobin (Hb) (P = 0·026) were independently associated with higher fatigue severity. The three most prevalent symptoms were as follows: fatigue (92%), dyspnoea (63%) and pain (55%). Patients with higher levels of fatigue also had greater overall symptom burdens. The mean global QoL scores of patients with the highest versus those with the lowest levels of fatigue were 29·2 [standard deviation (SD), 18·3] and 69·0 (SD, 18·8), respectively and this difference was four times the magnitude of a clinically meaningful difference. Patient-reported fatigue severity revealed the effects of disease burden on overall QoL more accurately than did degree of anaemia. Special attention should be given to the female patients in the management of fatigue

Clinical-Genetic Features Influencing Disability in Spastic Paraplegia Type 4: A Cross-sectional Study by the Italian DAISY Network

Background and objectives: Hereditary spastic paraplegias (HSPs) are a group of inherited rare neurologic disorders characterized by length-dependent degeneration of the corticospinal tracts and dorsal columns, whose prominent clinical feature is represented by spastic gait. Spastic paraplegia type 4 (SPG4, SPAST-HSP) is the most common form. We present both clinical and molecular findings of a large cohort of patients, with the aim of (1) defining the clinical spectrum of SPAST-HSP in Italy; (2) describing their molecular features; and (3) assessing genotype-phenotype correlations to identify features associated with worse disability. Methods: A cross-sectional retrospective study with molecular and clinical data collected in an anonymized database was performed. Results: A total of 723 Italian patients with SPAST-HSP (58% men) from 316 families, with a median age at onset of 35 years, were included. Penetrance was 97.8%, with men showing higher Spastic Paraplegia Rating Scale (SPRS) scores (19.67 ± 12.58 vs 16.15 ± 12.61, p = 0.009). In 26.6% of patients with SPAST-HSP, we observed a complicated phenotype, mainly including intellectual disability (8%), polyneuropathy (6.7%), and cognitive decline (6.5%). Late-onset cases seemed to progress more rapidly, and patients with a longer disease course displayed a more severe neurologic disability, with higher SPATAX (3.61 ± 1.46 vs 2.71 ± 1.20, p &lt; 0.001) and SPRS scores (22.63 ± 11.81 vs 12.40 ± 8.83, p &lt; 0.001). Overall, 186 different variants in the SPAST gene were recorded, of which 48 were novel. Patients with SPAST-HSP harboring missense variants displayed intellectual disability (14.5% vs 4.4%, p &lt; 0.001) more frequently, whereas patients with truncating variants presented more commonly cognitive decline (9.7% vs 2.6%, p = 0.001), cerebral atrophy (11.2% vs 3.4%, p = 0.003), lower limb spasticity (61.5% vs 44.5%), urinary symptoms (50.0% vs 31.3%, p &lt; 0.001), and sensorimotor polyneuropathy (11.1% vs 1.1%, p &lt; 0.001). Increasing disease duration (DD) and abnormal motor evoked potentials (MEPs) were also associated with increased likelihood of worse disability (SPATAX score&gt;3). Discussion: The SPAST-HSP phenotypic spectrum in Italian patients confirms a predominantly pure form of HSP with mild-to-moderate disability in 75% of cases, and slight prevalence of men, who appeared more severely affected. Early-onset cases with intellectual disability were more frequent among patients carrying missense SPAST variants, whereas patients with truncating variants showed a more complicated disease. Both longer DD and altered MEPs are associated with worse disability

PTPA variants and impaired PP2A activity in early-onset parkinsonism with intellectual disability

The protein phosphatase 2A complex (PP2A), the major Ser/Thr phosphatase in the brain, is involved in a number of signalling pathways and functions, including the regulation of crucial proteins for neurodegeneration, such as alpha-synuclein, tau and LRRK2. Here, we report the identification of variants in the PTPA/PPP2R4 gene, encoding a major PP2A activator, in two families with early-onset parkinsonism and intellectual disability. We carried out clinical studies and genetic analyses, including genome-wide linkage analysis, whole-exome sequencing, and Sanger sequencing of candidate variants. We next performed functional studies on the disease-associated variants in cultured cells and knock-down of ptpa in Drosophila melanogaster. We first identified a homozygous PTPA variant, c.893T&gt;G (p.Met298Arg), in patients from a South African family with early-onset parkinsonism and intellectual disability. Screening of a large series of additional families yielded a second homozygous variant, c.512C&gt;A (p.Ala171Asp), in a Libyan family with a similar phenotype. Both variants co-segregate with disease in the respective families. The affected subjects display juvenile-onset parkinsonism and intellectual disability. The motor symptoms were responsive to treatment with levodopa and deep brain stimulation of the subthalamic nucleus. In overexpression studies, both the PTPA p.Ala171Asp and p.Met298Arg variants were associated with decreased PTPA RNA stability and decreased PTPA protein levels; the p.Ala171Asp variant additionally displayed decreased PTPA protein stability. Crucially, expression of both variants was associated with decreased PP2A complex levels and impaired PP2A phosphatase activation. PTPA orthologue knock-down in Drosophila neurons induced a significant impairment of locomotion in the climbing test. This defect was age-dependent and fully reversed by L-DOPA treatment. We conclude that bi-allelic missense PTPA variants associated with impaired activation of the PP2A phosphatase cause autosomal recessive early-onset parkinsonism with intellectual disability. Our findings might also provide new insights for understanding the role of the PP2A complex in the pathogenesis of more common forms of neurodegeneration.</p

Autosomal recessive cerebellar ataxias

Autosomal recessive cerebellar ataxias (ARCA) are a heterogeneous group of rare neurological disorders involving both central and peripheral nervous system, and in some case other systems and organs, and characterized by degeneration or abnormal development of cerebellum and spinal cord, autosomal recessive inheritance and, in most cases, early onset occurring before the age of 20 years. This group encompasses a large number of rare diseases, the most frequent in Caucasian population being Friedreich ataxia (estimated prevalence 2–4/100,000), ataxia-telangiectasia (1–2.5/100,000) and early onset cerebellar ataxia with retained tendon reflexes (1/100,000). Other forms ARCA are much less common. Based on clinicogenetic criteria, five main types ARCA can be distinguished: congenital ataxias (developmental disorder), ataxias associated with metabolic disorders, ataxias with a DNA repair defect, degenerative ataxias, and ataxia associated with other features. These diseases are due to mutations in specific genes, some of which have been identified, such as frataxin in Friedreich ataxia, α-tocopherol transfer protein in ataxia with vitamin E deficiency (AVED), aprataxin in ataxia with oculomotor apraxia (AOA1), and senataxin in ataxia with oculomotor apraxia (AOA2). Clinical diagnosis is confirmed by ancillary tests such as neuroimaging (magnetic resonance imaging, scanning), electrophysiological examination, and mutation analysis when the causative gene is identified. Correct clinical and genetic diagnosis is important for appropriate genetic counseling and prognosis and, in some instances, pharmacological treatment. Due to autosomal recessive inheritance, previous familial history of affected individuals is unlikely. For most ARCA there is no specific drug treatment except for coenzyme Q10 deficiency and abetalipoproteinemia